derivative of a function by definition